Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner,Martin C. Henson
ISBN 13: 9783642093456
Format: Paperback (648 pages) Publisher: Springer Published: 22 Nov 2010
Save for later